discrete mathematics converse